1,347 research outputs found
The Complexity of the Simplex Method
The simplex method is a well-studied and widely-used pivoting method for
solving linear programs. When Dantzig originally formulated the simplex method,
he gave a natural pivot rule that pivots into the basis a variable with the
most violated reduced cost. In their seminal work, Klee and Minty showed that
this pivot rule takes exponential time in the worst case. We prove two main
results on the simplex method. Firstly, we show that it is PSPACE-complete to
find the solution that is computed by the simplex method using Dantzig's pivot
rule. Secondly, we prove that deciding whether Dantzig's rule ever chooses a
specific variable to enter the basis is PSPACE-complete. We use the known
connection between Markov decision processes (MDPs) and linear programming, and
an equivalence between Dantzig's pivot rule and a natural variant of policy
iteration for average-reward MDPs. We construct MDPs and show
PSPACE-completeness results for single-switch policy iteration, which in turn
imply our main results for the simplex method
Localizable invariants of combinatorial manifolds and Euler characteristic
It is shown that if a real value PL-invariant of closed combinatorial
manifolds admits a local formula that depends only on the f-vector of the link
of each vertex, then the invariant must be a constant times the Euler
characteristic.Comment: 14 pages, 5 figures. Some arguments are improved and one picture is
adde
An update on the Hirsch conjecture
The Hirsch conjecture was posed in 1957 in a letter from Warren M. Hirsch to
George Dantzig. It states that the graph of a d-dimensional polytope with n
facets cannot have diameter greater than n - d.
Despite being one of the most fundamental, basic and old problems in polytope
theory, what we know is quite scarce. Most notably, no polynomial upper bound
is known for the diameters that are conjectured to be linear. In contrast, very
few polytopes are known where the bound is attained. This paper collects
known results and remarks both on the positive and on the negative side of the
conjecture. Some proofs are included, but only those that we hope are
accessible to a general mathematical audience without introducing too many
technicalities.Comment: 28 pages, 6 figures. Many proofs have been taken out from version 2
and put into the appendix arXiv:0912.423
Combinatorial simplex algorithms can solve mean payoff games
A combinatorial simplex algorithm is an instance of the simplex method in
which the pivoting depends on combinatorial data only. We show that any
algorithm of this kind admits a tropical analogue which can be used to solve
mean payoff games. Moreover, any combinatorial simplex algorithm with a
strongly polynomial complexity (the existence of such an algorithm is open)
would provide in this way a strongly polynomial algorithm solving mean payoff
games. Mean payoff games are known to be in NP and co-NP; whether they can be
solved in polynomial time is an open problem. Our algorithm relies on a
tropical implementation of the simplex method over a real closed field of Hahn
series. One of the key ingredients is a new scheme for symbolic perturbation
which allows us to lift an arbitrary mean payoff game instance into a
non-degenerate linear program over Hahn series.Comment: v1: 15 pages, 3 figures; v2: improved presentation, introduction
expanded, 18 pages, 3 figure
Complementary vertices and adjacency testing in polytopes
Our main theoretical result is that, if a simple polytope has a pair of
complementary vertices (i.e., two vertices with no facets in common), then it
has at least two such pairs, which can be chosen to be disjoint. Using this
result, we improve adjacency testing for vertices in both simple and non-simple
polytopes: given a polytope in the standard form {x \in R^n | Ax = b and x \geq
0} and a list of its V vertices, we describe an O(n) test to identify whether
any two given vertices are adjacent. For simple polytopes this test is perfect;
for non-simple polytopes it may be indeterminate, and instead acts as a filter
to identify non-adjacent pairs. Our test requires an O(n^2 V + n V^2)
precomputation, which is acceptable in settings such as all-pairs adjacency
testing. These results improve upon the more general O(nV) combinatorial and
O(n^3) algebraic adjacency tests from the literature.Comment: 14 pages, 5 figures. v1: published in COCOON 2012. v2: full journal
version, which strengthens and extends the results in Section 2 (see p1 of
the paper for details
On quantum estimation, quantum cloning and finite quantum de Finetti theorems
This paper presents a series of results on the interplay between quantum
estimation, cloning and finite de Finetti theorems. First, we consider the
measure-and-prepare channel that uses optimal estimation to convert M copies
into k approximate copies of an unknown pure state and we show that this
channel is equal to a random loss of all but s particles followed by cloning
from s to k copies. When the number k of output copies is large with respect to
the number M of input copies the measure-and-prepare channel converges in
diamond norm to the optimal universal cloning. In the opposite case, when M is
large compared to k, the estimation becomes almost perfect and the
measure-and-prepare channel converges in diamond norm to the partial trace over
all but k systems. This result is then used to derive de Finetti-type results
for quantum states and for symmetric broadcast channels, that is, channels that
distribute quantum information to many receivers in a permutationally invariant
fashion. Applications of the finite de Finetti theorem for symmetric broadcast
channels include the derivation of diamond-norm bounds on the asymptotic
convergence of quantum cloning to state estimation and the derivation of bounds
on the amount of quantum information that can be jointly decoded by a group of
k receivers at the output of a symmetric broadcast channel.Comment: 19 pages, no figures, a new result added, published version to appear
in Proceedings of TQC 201
Finding Short Paths on Polytopes by the Shadow Vertex Algorithm
We show that the shadow vertex algorithm can be used to compute a short path
between a given pair of vertices of a polytope P = {x : Ax \leq b} along the
edges of P, where A \in R^{m \times n} is a real-valued matrix. Both, the
length of the path and the running time of the algorithm, are polynomial in m,
n, and a parameter 1/delta that is a measure for the flatness of the vertices
of P. For integer matrices A \in Z^{m \times n} we show a connection between
delta and the largest absolute value Delta of any sub-determinant of A,
yielding a bound of O(Delta^4 m n^4) for the length of the computed path. This
bound is expressed in the same parameter Delta as the recent non-constructive
bound of O(Delta^2 n^4 \log (n Delta)) by Bonifas et al.
For the special case of totally unimodular matrices, the length of the
computed path simplifies to O(m n^4), which significantly improves the
previously best known constructive bound of O(m^{16} n^3 \log^3(mn)) by Dyer
and Frieze
Construction and Analysis of Projected Deformed Products
We introduce a deformed product construction for simple polytopes in terms of
lower-triangular block matrix representations. We further show how Gale duality
can be employed for the construction and for the analysis of deformed products
such that specified faces (e.g. all the k-faces) are ``strictly preserved''
under projection. Thus, starting from an arbitrary neighborly simplicial
(d-2)-polytope Q on n-1 vertices we construct a deformed n-cube, whose
projection to the last dcoordinates yields a neighborly cubical d-polytope. As
an extension of thecubical case, we construct matrix representations of
deformed products of(even) polygons (DPPs), which have a projection to d-space
that retains the complete (\lfloor \tfrac{d}{2} \rfloor - 1)-skeleton. In both
cases the combinatorial structure of the images under projection is completely
determined by the neighborly polytope Q: Our analysis provides explicit
combinatorial descriptions. This yields a multitude of combinatorially
different neighborly cubical polytopes and DPPs. As a special case, we obtain
simplified descriptions of the neighborly cubical polytopes of Joswig & Ziegler
(2000) as well as of the ``projected deformed products of polygons'' that were
announced by Ziegler (2004), a family of 4-polytopes whose ``fatness'' gets
arbitrarily close to 9.Comment: 20 pages, 5 figure
Bringing Order to Special Cases of Klee's Measure Problem
Klee's Measure Problem (KMP) asks for the volume of the union of n
axis-aligned boxes in d-space. Omitting logarithmic factors, the best algorithm
has runtime O*(n^{d/2}) [Overmars,Yap'91]. There are faster algorithms known
for several special cases: Cube-KMP (where all boxes are cubes), Unitcube-KMP
(where all boxes are cubes of equal side length), Hypervolume (where all boxes
share a vertex), and k-Grounded (where the projection onto the first k
dimensions is a Hypervolume instance).
In this paper we bring some order to these special cases by providing
reductions among them. In addition to the trivial inclusions, we establish
Hypervolume as the easiest of these special cases, and show that the runtimes
of Unitcube-KMP and Cube-KMP are polynomially related. More importantly, we
show that any algorithm for one of the special cases with runtime T(n,d)
implies an algorithm for the general case with runtime T(n,2d), yielding the
first non-trivial relation between KMP and its special cases. This allows to
transfer W[1]-hardness of KMP to all special cases, proving that no n^{o(d)}
algorithm exists for any of the special cases under reasonable complexity
theoretic assumptions. Furthermore, assuming that there is no improved
algorithm for the general case of KMP (no algorithm with runtime O(n^{d/2 -
eps})) this reduction shows that there is no algorithm with runtime
O(n^{floor(d/2)/2 - eps}) for any of the special cases. Under the same
assumption we show a tight lower bound for a recent algorithm for 2-Grounded
[Yildiz,Suri'12].Comment: 17 page
- …